大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFAC-IFIP Workshop on Real-Time Programming 的图书(共4977本)

Rule-Based Reasoning, Programming, and Applications [electronic resource] : 5th International Symposium, RuleML 2011 鈥ŵrope, Barcelona, Spain, July 19-21, 2011. Proceedings

0
索取号：
作者：Bassiliades、 Nick.、Governatori、 Guido.、Paschke、 Adrian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Functional and Constraint Logic Programming [electronic resource] : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

0
索取号：
作者：Kuchen、 Herbert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Optical Supercomputing [electronic resource] : Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers

0
索取号：
作者：Dolev、 Shlomi.、Oltean、 Mihai.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Security and Trust Management [electronic resource] : 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers

0
索取号：
作者：Cuellar、 Jorge.、Lopez、 Javier.、Barthe、 Gilles.、Pretschner、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Engineering Techniques [electronic resource] : Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers

0
索取号：
作者：Huzar、 Zbigniew.、Koci、 Radek.、Meyer、 Bertrand.、Walter、 Bartosz.、Zendulka、 Jaroslav.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computational Logic in Multi-Agent Systems [electronic resource] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings

0
索取号：
作者：Leite、 Jo茫o.、Torroni、 Paolo.、脜gotnes、 Thomas.、Boella、 Guido.、Torre、 Leon.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Data and Applications Security and Privacy XXV [electronic resource] : 25th Annual IFIP WG 11.3 Conference, DBSec 2011, Richmond, VA, USA, July 11-13, 2011. Proceedings

0
索取号：
作者：Li、 Yingjiu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Model Checking Software [electronic resource] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings

0
索取号：
作者：Groce、 Alex.、Musuvathi、 Madanlal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Environmental Software Systems. Frameworks of eEnvironment [electronic resource] : 9th IFIP WG 5.11 International Symposium, ISESS 2011, Brno, Czech Republic, June 27-29, 2011. Proceedings

0
索取号：
作者：H艡eb铆膷ek、 Ji艡铆.、Schimak、 Gerald.、Denzer、 Ralf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Trust Management V [electronic resource] : 5th IFIP WG 11.11 International Conference, IFIPTM 2011, Copenhagen, Denmark, June 29 鈥ʵly 1, 2011. Proceedings

0
索取号：
作者：Wakeman、 Ian.、Gudes、 Ehud.、Jensen、 Christian Damsgaard.、Crampton、 Jason.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Building Innovation Pipelines through Computer-Aided Innovation [electronic resource] : 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 鈥ʵly 1, 2011. Proceedings

0
索取号：
作者：Cavallucci、 Denis.、Guio、 Roland.、Cascini、 Gaetano.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Security Protocols XVI [electronic resource] : 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers

0
索取号：
作者：Christianson、 Bruce.、Malcolm、 James A.、Matyas、 Vashek.、Roe、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Parallel Genetic Algorithms [electronic resource] : Theory and Real World Applications

0
索取号：
作者：Luque、 Gabriel.、Alba、 Enrique.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Intelligence and Security Informatics [electronic resource] : Pacific Asia Workshop, PAISI 2011, Beijing, China, July 9, 2011. Proceedings

0
索取号：
作者：Chau、 Michael.、Wang、 G. Alan.、Zheng、 Xiaolong.、Chen、 Hsinchun.、Zeng、 Daniel.、Mao、 Wenji.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Approximation Algorithms and Semidefinite Programming [electronic resource]

0
索取号：
作者：G盲rtner、 Bernd.、Matousek、 Jiri.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Automata, Languages and Programming [electronic resource] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

0
索取号：
作者：Aceto、 Luca.、Henzinger、 Monika.、Sgall、 Ji艡铆.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院